1. Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
پدیدآورنده : Matthew Dwyer )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2057